Section: New Software and Platforms

ReactiveML

Functional Description

ReactiveML is a programming language dedicated to the implementation of interactive systems as found in graphical user interfaces, video games or simulation problems. ReactiveML is based on the synchronous reactive model due to Boussinot, embedded in an ML language (OCaml).

The Synchronous reactive model provides synchronous parallel composition and dynamic features like the dynamic creation of processes. In ReactiveML, the reactive model is integrated at the language level (not as a library) which leads to a safer and a more natural programming paradigm.

• Participants: Guillaume Baudart, Louis Mandel and Cédric Pasteur

• Contact: Guillaume Baudart

• URL: http://rml.lri.fr